1. A Course on Mathematical Logi

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books

رده :
E-BOOK

2. A computational introduction to number theory and algebra

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer science-- Mathematics,، Number theory,، Algebra-- Data processing

رده :
QA
241
.
V53
2005

3. Algebra and Coalgebra in Computer Science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.

4. Algebra and coalgebra in computer science

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science--Mathematics--Congresses,Algebra--Congresses,Formale Methode--Kongress--Udine <2009>,Theoretische Informatik--Algebra--Kongress--Udine <2009>,Theoretische Informatik--Koalgebra--Kongress--Udine <2009>,Algebra.--swd,Formale Methode.--swd,Koalgebra.--swd,Theoretische Informatik.--swd,Kongress.--swd,Udine (2009)--swd

رده :
QA
,
76
.
9
,.
M35
,
C33
,
2009

5. Algebra and coalgebra in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35

6. Algebra and coalgebra in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35

7. Algebra and coalgebra in computer science

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd

8. Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Algebra

رده :
QA
76
.
L28
Vol
.
3629

9. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

10. Algebra for Applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computer science - Mathematics.,Algebra - Data processing.

رده :
QA184
.
A525
2015

11. Algebra for Cryptologists

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Algebra,جبر,a04,a04,Data encryption (Computer science) -- Mathematics.,رمزگذاری داده‌ها -- ریاضیات

رده :
E-Book
,

12. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra

رده :
QA
76
.
L28
Vol
.
2297

13. Applied Laplace Transforms and z-Transforms for Scientists and Engineers

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra-- Data processing.,Computer science-- Mathematics.,Computer science.,Integral transforms.

14. Communication-Based Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.

15. Completeness and Reduction in Algebraic Complexity Theory

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Computer science-- Mathematics.,Information theory.,Mathematics.

16. Computer algebra in quantum field theory

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Quantum field theory, Data processing,Quantum field theory, Mathematics,Algebra, Computer programs,SCIENCE / Energy, bisacsh,SCIENCE / Mechanics / General, bisacsh,SCIENCE / Physics / General, bisacsh

رده :
E-BOOK

17. Computer algebra in scientific computing

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra-- Data processing, Congresses,Computer science-- Mathematics, Congresses,Science-- Data processing, Congresses

رده :
QA155
.
7
.
E4
I6
2012eb

18. Design and Analysis of Algorithms :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.

رده :
QA9
.
58
.
S454
2019

19. Discrete and combinatorial mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)

موضوع : Mathematics,Computer science, Mathematics,Algebra

20. Discrete and combinatorial mathematics : an applied introduction

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Mathematics -- 1691-,، Computer science -- Mathematics,، Algebra

رده :
QA
39
.
2
.
G747
1989